body {
	font-family: 'WenQuanYi Micro Hei', 'Microsoft YaHei', Helvetica, Arial, sans-serif;
	text-align: justify;
}
div > h1 {
	padding-top: 0.4em;
	padding-bottom: 0.4em;
	padding-left: 0.8em;
	padding-right: 0.8em;
	background-color: #d0d0ff;
	border-radius: 8px;
	border: solid #a0a0a0 1px;
}
a:link {
	color: rgb(43 160 205) !important;
}
h1,
h2,
h3,
h4 {
	font-family: 'WenQuanYi Micro Hei', 'Microsoft YaHei', Helvetica, Verdana, Geneva, sans-serif;
	font-weight: normal;
	font-style: normal;
}

h2 {
	padding-top: 0.4em;
	padding-bottom: 0.4em;
	padding-left: 0.8em;
	padding-right: 0.8em;
	background-color: #d0d0ff;
	border-radius: 8px;
	border: solid #a0a0a0 1px;
}

h3 {
	padding-left: 0.5em;
	border-left: solid #d0d0ff 1em;
}

table h3 {
	padding-left: 0px;
	border-left: none;
}

a:link {
	color: #000080;
	background-color: inherit;
	text-decoration: none;
}

a:visited {
	background-color: inherit;
	text-decoration: none;
}

a:link:hover,
a:visited:hover {
	color: #000080;
	background-color: #d0d0ff;
	border-radius: 4px;
}

a:link:active,
a:visited:active {
	color: #ff0000;
}

h1 a img {
	vertical-align: text-bottom;
}

hr {
	border: 0;
	height: 1px;
	color: #a0a0a0;
	background-color: #a0a0a0;
	display: none;
}

table hr {
	display: block;
}

:target {
	background-color: #f8f8f8;
	padding: 8px;
	border: solid #a0a0a0 2px;
	border-radius: 8px;
}

.footer {
	color: gray;
	font-size: x-small;
}

input[type='text'] {
	border: solid #a0a0a0 2px;
	border-radius: 2em;
	background-image: url('images/search.png');
	background-repeat: no-repeat;
	background-position: 4px center;
	padding-left: 20px;
	height: 2em;
}

pre.session {
	background-color: #f8f8f8;
	padding: 1em;
	border-radius: 8px;
}
